Well-formed formula - PDFSEARCH.IO - Document Search Engine

Well-formed formula
Results: 322

#	Item
271	Circular Logic for Computational Semantics Dr. Axel Arturo Barceló Aspeitia Instituto de Investigaciones Filosóficas Add to Reading List Source URL: www.filosoficas.unam.mx Language: English - Date: 2013-02-18 15:25:56 Metalogic Propositional calculus Mathematical logic Well-formed formula Interpretation Entailment First-order logic Tautology Expression Logic Logical syntax Formal languages
272	From editor This issue presents proceedings of the workshop “30 Years of Mizar”1 held in September Add to Reading List Source URL: markun.cs.shinshu-u.ac.jp Language: English - Date: 2005-10-19 00:07:07 Propositional calculus Formal languages Quantification Predicate logic Natural deduction Andrzej Trybulec Mizar system Well-formed formula Function Logic Mathematical logic Mathematics
273	Chapter 1 Writing a Mizar article in Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-21 06:45:20 Mathematical logic Model theory Predicate logic Mizar system First-order logic Logical syntax Function Mizar and Alcor Well-formed formula Logic Mathematics Formal languages
274	Complete Axiomatizations Add to Reading List Source URL: www.lsv.ens-cachan.fr Language: English - Date: 2010-06-28 17:11:11 Metalogic Model theory Formal languages Proof theory Quantifier elimination Unification Well-formed formula Decidability Term algebra Logic Mathematical logic Mathematics
275	First Order Logic Pete Manolios Northeastern Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2008-10-16 20:06:07 Model theory Formal languages Metalogic Predicate logic Interpretation First-order logic Well-formed formula Structure Function Logic Mathematics Mathematical logic
276	The Temporal Logic of Actions LESLIE LAMPORT Digital Equipment Corporation Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2000-06-27 16:01:37 Predicate logic Semantics Formal languages Temporal logic Function Quantification Temporal logic of actions Well-formed formula First-order logic Logic Mathematics Mathematical logic
277	INT. J. LANG. COMM. DIS., JANUARY –MARCH VOL. Add to Reading List Source URL: steinhardt.nyu.edu Language: English - Date: 2011-02-17 13:43:31 Science Philosophy of language Propositional calculus Formal languages Semantics Proposition Language acquisition Idiom Well-formed formula Logic Linguistics Logical syntax
278	Fundamenta Informaticae ??? (200?) 1001–[removed] Add to Reading List Source URL: www.kr.tuwien.ac.at Language: English - Date: 2007-08-01 08:58:44 Model theory Formal languages Philosophy of language Predicate logic Interpretation First-order logic Well-formed formula Function Substitution Logic Mathematical logic Mathematics
279	Classical Logic I: First-Order Logic Chapter 1 Add to Reading List Source URL: www.blackwellpublishing.com Language: English - Date: 2001-06-18 13:30:12 Formal languages Metalogic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Substitution Structure Logic Mathematical logic Model theory
280	A Handbook of Mathematical Discourse Version 0.95 Add to Reading List Source URL: www.abstractmath.org Language: English - Date: 2009-03-19 12:13:02 Philosophy of mathematics Logic Function Abuse of notation Polish notation Well-formed formula Finitary relation Bracket Image Mathematics Mathematical logic Mathematical notation